JSR

JSR-133：Java内存模型与线程规范，中文版的Java多线程开发规范文档。JSR-133：JavaTM内存模型与线程规范翻译：ticmy1 介绍.......................................................................................................................................................................... 31.1 锁..........................................................................................................................................................................................31.2 示例中的表示法 ..................................................................................................................................................................42 未正确同步的程序会表现出出人意料的行为 ...................................................................................................... 53 非正式语义.............................................................................................................................................................. 73.1 顺序一致性（Sequential Consistency）..............................................................................................................................93.2 final 字段.............................................................................................................................................................................104 什么是内存模型.................................................................................................................................................... 135 定义........................................................................................................................................................................ 146 Java 内存模型的近似模型..................................................................................................................................... 186.1 顺序一致的内存模型.........................................................................................................................................................186.2 Happens-Before 内存模型 ..................................................................................................................................................196.3 因果关系 ............................................................................................................................................................................207 Java 内存模型的正式规范..................................................................................................................................... 247.1 动作与执行过程（Actions and Executions）...................................................................................................................247.2 定义....................................................................................................................................................................................267.3 良构的（ Well-Formed）执行过程 .................................................................................................................................277.4 执行过程的因果（Causality）要求..................................................................................................................................287.5 可观察的行为与不会终止的执行过程.............................................................................................................................308 经典测试用例与行为............................................................................................................................................ 338.1 内存模型允许的怪异行为.................................................................................................................................................348.2 内存模型禁止的行为.........................................................................................................................................................379 final 字段的语义..................................................................................................................................................... 399.1 final 字段语义的目标与要求 .............................................................................................................................................399.2 final 字段的正式语义.........................................................................................................................................................429.3 用于 final 字段的 JVM 规则 .............................................................................................................................................4510 典型测试用例与 final 字段的行为..................................................................................................................... 4611 字分裂(Word Tearing)......................................................................................................................................... 5112 double 和 long 的非原子性处理 .......................................................................................................................... 5213 公平性.................................................................................................................................................................. 5214 wait 集与通知（Notification）............................................................................................................................ 5414.1 等待（Wait）...................................................................................................................................................................5414.2 通知（Notification） .......................................................................................................................................................5714.3 中断（Interruptions）......................................................................................................................................................5714.4 等待（Waits），通知（ Notification）以及中断（Interruption）间的相互影响......................................................5815 Sleep 与 Yield ..................................................................................................................................................... 5916 终结操作（Finalization）................................................................................................................................... 6016.1 终结操作的实现 ..............................................................................................................................................................6116.2 与内存模型的交互...........................................................................................................................................................64